Probabilistic Neighbourhood Logic
نویسنده
چکیده
This paper presents a probabilistic extension of Neighbourhood Logic (NL,[14, 1]). The study of such an extension is motivated by the need to supply the Probabilistic Duration Calculus (PDC, [10, 4]) with a proof system. The relation between the new logic and PDC is similar to that between DC [15] and ITL [12, 3]. We present a complete proof system for the new logic.
منابع مشابه
A Design Methodology for Reliable MRF-Based Logic Gates
Probabilistic-based methods have been used for designing noise tolerant circuits recently. In these methods, however, there is not any reliability mechanism that is essential for nanometer digital VLSI circuits. In this paper, we propose a novel method for designing reliable probabilistic-based logic gates. The advantage of the proposed method in comparison with previous probabilistic-based met...
متن کاملConditional Belief, Knowledge and Probability
A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at the core logical notion underlying this. The paper presents a sound and complete neighbourhood logic for conditional belief and knowledge, and trac...
متن کاملFuzzy T-neighbourhood spaces: Part 2 - T-neighbourhood systems
We explore a notion of fuzzy T -neighbourhood spaces, for any continuous triangular norm T , and we present on this notion a uni6ed treatment. Our theory, on one hand, generalizes the theory of Lowen (Fuzzy Sets and Systems 7 (1982) 65) from T =Min to arbitrary T , which has been the progenitor of this work, and on the other hand it is strongly related to the theory of L-neighbourhoods of H; oh...
متن کاملNeighbourhood Structures: Bisimilarity and Basic Model Theory
Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic. In coalgebraic terms, a neighbourhood frame is a coalgebra for the contravariant powerset functor composed with itself, denoted by 2. We use this coalgebraic modelling to derive notions of equivalence between neighbourhood s...
متن کاملNeighbourhood Structures: Bisimilarity and Basic Model Theory
Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic. In coalgebraic terms, a neighbourhood frame is a coalgebra for the contravariant powerset functor composed with itself, denoted by 2 2. We use this coalgebraic modelling to derive notions of equivalence between neighbourhood...
متن کامل